منابع مشابه
human trafficking in central asia
human trafficking is one form of organized crime with 7 to 10 billion dollars profit next to drug and weapon trades. former soviet republics and eastern europe have become the newest sources of human trafficking, for europe and north america for the purpose of sexual exploitation .this article is a result in causes of human trafficking in central asian republic of the former soviet :union:.
متن کاملhuman trafficking, slavary in the new age
the problem of human trafficking is a universal phenomenon with broad effects on global society. its cause and locus is in poor and underdeveloped societies which have difficulties like poverty, unemployment, inequality, discrimination and violence against woment, and the domination of men in patriarchal family, social and political systems. women and children are the main victims of it, who be...
متن کاملInternational Human Trafficking: Critical Appraisal of Strength and Weaknesses of Nigeria’s Legal Frameworks
Nigeria has been facing the immense challenge of international trafficking in persons for sexual exploitation and forced labor into countries in Europe, Asia and Africa. Being an international criminal activity driven by high profits, Nigeria's adoption of a regulatory policy is expressed in the series of legal provisions to deal with the army of traffickers. In desperation, within a space of 1...
متن کاملSlotted-Circus : A Generic UTP framework for discretely-timed Circus
3 Slotted-Circus (Formal Definition) 10 3.1 Observational Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2 Required Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2.1 Accepted and Refused Events and Equivalent Traces . . . . . . . . . . . . . 11 3.2.2 Null Slots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
متن کاملIsabelle/Circus
The Circus specification language combines elements for complex data and behavior specifications, using an integration of Z and CSP with a refinement calculus. Its semantics is based on Hoare and He’s unifying theories of programming (UTP). Isabelle/Circus is a formalization of the UTP and the Circus language in Isabelle/HOL. It contains proof rules and tactic support that allows for proofs of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kathmandu School of Law Review
سال: 2012
ISSN: 2091-2110
DOI: 10.46985/jms.v1ispecial.964